/*
 * exittest.c
 *
 *  Created on: Jun 27, 2011
 *      Author: peckb1
 */

#include "syscall.h"

#include <usercommon.h>

int
main() {
    printLock = CreateLock("Printing Lock");
    printf("System Should exit right after this call.\n");
    /* Note: this number does nothing, so who cares what we put in */
    Exit(0);
    printf("We should never see this!!!\n");
}
